OCaml で圈論
ArulselvanMadhavan/ocaml-ctfp: OCaml version of Category Theory For Programmers
Bartosz Milewski "Category Theory for Programmers" 2014の OCamlOCaml.icon版
原文は HaskellHaskell.icon